41. Automata languages, and machines

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Sequential machine theory,Formal languages,Automata

رده :
629
.
891
E34a

42. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
267
.
5
.
S4
C63
1977

43. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(

رده :
QA
267
.
5
.
S4
.
I47
1981

44. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(

رده :
QA
267
.
5
.
S4
.
I47
1980

45. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
226

46. Automata-theoretic aspects of formal power series

المؤلف:

المکتبة: (طهران)

موضوع: ، Sequential machine theory,، Formal languages,، Power series

رده :
QA
267
.
5
.
S4S29
1978

47. Automatic sequences

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Sequential machine theory,Sequences (Mathematics)

رده :
QA267
.
5
.
S4
,
A55
2003

48. Automatic sequences

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Sequential machine theory,Sequences (Mathematics)

رده :
QA267
.
5
.
S4
,
A55
2003

49. Automatic sequences :theory, applications, generalizations]CD[

المؤلف:

المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Sequential machine theory,، Sequences )Mathematics(

رده :
CD
1742-17

50. Automatic sequences : theory, applications, generalizations

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، Sequential machine theory,، Sequences )Mathematics(

رده :
QA
267
.
5
.
S4A55

51. Automatic sequences : theory, applications, generalizations

المؤلف:

المکتبة: (طهران)

موضوع: ، Sequential machine theory,، Sequences )Mathematics(

رده :
QA
267
.
5
.
S4A448

52. Automatismes a sequences et commandes numeriques

المؤلف:

المکتبة: (خراسان الجنوبیة)

موضوع: ، Electronic digital computers- circuits,، Sequential machine theory,، Digiatal counters

رده :
TK
7888
.
3
.
F55

53. Buchi's monadic second order successor arithmetic

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Predicate calculus,، Sequential machine theory

رده :
QA
3
.
L28
no
.
120

54. Buchi's monadic second order successor arithmetic

پدیدآورنده :

موضوع : ، Predicate calculus,، Sequential machine theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

55. Buchi`s monadic second order successor arithmetic

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع: Predicate calculus,Sequential machine theory

رده :
QA
3
.
L28
no
.
120

56. Checking Experiments in Sequential Machines

المؤلف:

المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)

موضوع: Fault tolerant computing,Sequential machine theory,Electronic digital computers-Testing

رده :
QA
76
.
9
.
F38B47
1989

57. Checking experiments in sequential machiness

المؤلف:

المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)

موضوع: Sequential machine theory

58. Checking experiments in sequential machines

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع: ، Foult tolerant computing,، Sequential machine theory,، Electronic digital computer-Testing

رده :
QA
76
.
9
F38
B47

59. Circuits logiques et automatismes a sequences

المؤلف:

المکتبة: (طهران)

موضوع: ، Switching theory,، Ore deposits,، Mines and mineral resources,، Sequential machine theory

رده :
TK
7868
.
S9
N3
1965

60. Combinatorics on traces

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Sequential machine theory,، Formal languages

رده :
QA
267
.
5
.
S4
.
D54
1990